import java.io.*;
public class Example10_19 {
   public static void main(String args[]) {
      File file=new File("Example10_19.java");
      WindowFileLock win=new WindowFileLock(file);
      win.setTitle("使用文件锁");
   }
}
